graph of greatest integer function of cosx